TSTP Solution File: SYN000^3 by Nitpick---2016